Lógica digital — Se ha sugerido que este artículo o sección sea fusionado en lógica binaria (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. La lógica digital es un área de la matemática aplicada al campo de la… … Wikipedia Español
Lógica trivalente — Se llama lógica ternaria o lógica trivalente a cualquier sistema lógico multivaluado en el que hay tres valores de verdad, indicando Verdadero, Falso y algún otro valor indeterminado. Esto contrasta con las más comunes lógica bivalentes (tales… … Wikipedia Español
Lógica computacional — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar … Wikipedia Español
booleana, álgebra — Sistema simbólico usado para diseñar circuitos lógicos y redes para computadoras digitales. Su principal utilidad está en servir para representar los valores verdadero o falso del resultado de una operación lógica, en lugar de tener que usar… … Enciclopedia Universal
Lógica binaria — Se ha sugerido que lógica digital sea fusionado en este artículo o sección (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. La lógica binaria trabaja con variables binarias y operaciones lógicas … Wikipedia Español
¿Es empírica la lógica? — es el título de dos artículos demostrativos que tratan sobre la posibilidad de que las propiedades algebraicas de la lógica puedan o deban determinarse a partir de hechos. En particular se cuestiona si los fenómenos cuánticos pueden servir de… … Wikipedia Español
Puerta lógica — «AND» redirige aquí. Para otras acepciones, véase AND (desambiguación). Una puerta lógica, o compuerta lógica, es un dispositivo electrónico el cual es la expresión física de un operador booleano en la lógica de conmutación. Cada puerta lógica… … Wikipedia Español
Función booleana — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar … Wikipedia Español
Problema de satisfacibilidad booleana — Saltar a navegación, búsqueda En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana (SAT) fue el primer problema identificado como perteneciente a la clase de complejidad NP completo. Se trata de un problema donde… … Wikipedia Español
Función booleana regular — En matemáticas, una función booleana regular es una clase particular de funciones booleanas que toma en cuenta el ordenamiento de sus distintos parámetros. Estas funciones son útiles en muchas áreas de la matemática aplicada, tales como la… … Wikipedia Español
Negación lógica — Para otros usos de este término, véase negación. En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de… … Wikipedia Español